Search results for "Data control"
showing 10 items of 10 documents
Optimal Control of the Controlled Lotka-Volterra Equations with Applications - The Permanent Case
2022
In this article motivated by the control of complex microbiota in view to reduce the infection by a pathogenic agent, we introduce the theoretical frame from optimal control to analyze the problem. Two complementary approaches can be applied in the analysis: one is the so-called permanent case, where no digital constraints are concerning the control (taken as a measurable mapping) versus the sampled-data control case taking into account the logistic constraints, e.g. frequency of the medical interventions. The model is the n-dimensional Lotka-Volterra equation controlled using either probiotics or antibiotic agents or transplantation and bactericides. In the permanent case the Maximum princ…
LCL - A Graphical Meta-Language for Specification of Language Constraints
2015
The Object Constraint Language (OCL) is commonly used for constraints in meta-model-based language specifications. However, it may be advantageous to have a domain-specific constraint meta-language optimised for language specifications. A survey of OCL usage in language specifications has been performed, in order to gain an understanding of common constraint patterns. This is used as a starting point for defining a new meta-language for language constraints, Language Constraint Language (LCL), that has an intuitive graphical syntax.
Development of a high-accuracy PC-based wattmeter with commercial data acquisition boards
2011
This paper presents the development of a high accuracy sampling wattmeter, which makes use of two commercial data acquisition boards (DAQs) connected to a common personal computer. Commercial software is also used for data processing and implementation of the virtual instrument. The set up of the PC-based wattmeter is described and a preliminary evaluation of its metrological performances is made by means of two series of experimental tests, which were carried out with an electric power standard and a high performance multifunction calibrator. © 2011 IEEE.
Semiglobal practical integral input-to-state stability for a family of parameterized discrete-time interconnected systems with application to sampled…
2015
Abstract Semiglobal practical integral input-to-state stability (SP-iISS) for a feedback interconnection of two discrete-time subsystems is given. We construct a Lyapunov function from the sum of nonlinearly-weighted Lyapunov functions of individual subsystems. In particular, we consider two main cases. The former gives SP-iISS for the interconnected system when both subsystems are semiglobally practically integral input-to-state stable. The latter investigates SP-iISS for the overall system when one of subsystems is allowed to be semiglobally practically input-to-state stable. Moreover, SP-iISS for discrete-time cascades and a feedback interconnection including a semiglobally practically i…
Metadata-Oriented Language Model in Translingual Retrieval of Digital Data
2015
Translingual retrieval relies on processing a source language to retrieve digital document content in a target language. From the perspective of successful browsing digital catalogues, probability of retrieving the full text document in a language other than the query language is close to zero owning to the fact that it is not only the library collection, but especially a problem of matching the index terms with the query keywords which are assumed to be their translation equivalents. In addition, hardly any digital library system is incorporated with a translation component. As a result, such a matching is rather coincidental. Our approach to the translingual document retrieval problem is …
Geometric Optimal Control of the Generalized Lotka-Volterra Model of the Intestinal Microbiome
2022
We introduce the theoretical framework from geometric optimal control for a control system modeled by the Generalized Lotka-Volterra (GLV) equation, motivated by restoring the gut microbiota infected by Clostridium difficile combining antibiotic treatment and fecal injection. We consider both permanent control and sampled-data control related to the medical protocols.
A query language for medical statistical analysis
1991
While standard query languages support primarily the definition of single queries, in the evaluation of medical studies one usually formulates large sets of interdependent queries. A set of this type is called an integrated transaction. Our system for the definition of integrated transactions is based on the observation that in medicine a large number of statistical evaluations is founded on a conceptional model that can be structured as a tree. We describe a screen oriented tree editor for the relational data base system DBase and report on our experience with its application in the evaluation of the success rate of PTCA interventions.
LanguageLab - A Meta-modelling Environment
2015
In the LanguageLab language workbench, we build on a component-based approach to language specification that facilitates the specification of all aspects of a computer language in a consistent manner, taking into account best practices in meta-modelling and language design. The workbench allows operation on a suitable abstraction level, and also focuses on user-friendliness and a low threshold to getting started, in order to make it useful for teaching of meta-modelling and language design and specification. The platform is open for third party language modules and facilitates rapid prototyping of DSLs, re-use of language modules, and experiments with multiple concrete syntaxes. The platfor…
A roadmap towards improving managed security services from a privacy perspective
2014
Published version of an article in the journal: Ethics and Information Technology. Also available from the publisher at: http://dx.doi.org/10.1007/s10676-014-9348-3 This paper proposes a roadmap for how privacy leakages from outsourced managed security services using intrusion detection systems can be controlled. The paper first analyses the risk of leaking private or confidential information from signature-based intrusion detection systems. It then discusses how the situation can be improved by developing adequate privacy enforcement methods and privacy leakage metrics in order to control and reduce the leakage of private and confidential information over time. Such metrics should allow fo…
Library for model querying
2012
Query and transformation languages make it easy to work with models, but they are bound to one particular data store. That makes them hard to adopt in projects where data is stored in a different repository, which hinders more widespread use of transformations and models. Instead of adopting a transformation language to a new data store, we propose to build a query and transformation library for the general-purpose language that is already used in a project. In this paper we demonstrate that it can be easily by implementing such a library for an EMOF-like data store in the Lua language.